基于改进Markov模型软件测试策略

针对已有软件测试Markov模型与工程实践不符的情况，通过引入软件需求覆盖率改进Markov模型。在改进的Markov模型基础上，本文以软件测试过程中测试总代价最小为控制目标，采用交叉熵方法修正测试剖面，由优化测试剖面生成测试用例序列。仿真结果表明这种方法能够有效地降低软件测试总代价，是一种有效的软件测试方法。     

Deterrence under nuclear asymmetry: THAAD and the prospects for missile defense on the Korean peninsula

The 2016 decision to deploy Terminal High Altitude Area Defense (THAAD) to South Korea has generated multitude of intensely politicized issues and has proved highly controversial. This has made it challenging to alleviate, let alone clarify, points of analytical and policy tensions. We instead disaggregate and revisit two fundamental questions. One is whether THAAD could really defend South Korea from North Korean missiles. We challenge the conventional “qualified optimism” by giving analytical primacy to three countermeasures available to defeat THAAD–use of decoys, tumbling and spiral motion, and outnumbering. These countermeasures are relatively inexpensive to create but exceedingly difficult to offset. Second, we assess the optimal way to ensure South Korean national security against North Korean missiles. By examining the balance of capability and issues of credibility/commitment, we show that the U.S. extended deterrence by punishment remains plentiful and sufficiently credible even without enhancing the current defense capability.     

高功率微波弹的杀伤效果分析与仿真

根据高功率微波弹微波脉冲的攻击入射角,给出了高功率微波弹杀伤区域模型,结合高功率微波损坏和干扰电子元器件的能量阈值,提出了高功率微波弹对目标的失效区、干扰区及安全区的概念,并建立相应的数学模型进行了仿真分析,为高功率微波弹攻击参数的设定及实际的作战运用提供了理论依据。     

可靠性强化试验及其在某型机载吊舱关键模块的应用

针对某型机载吊舱故障频发,可靠性低以及传统可靠性试验周期长、费用高的问题,采用了可靠性强化试验对某型机载吊舱关键模块进行试验研究。阐述了可靠性强化试验的技术、方法和试验过程,给出了强化试验的应力剖面和试验结果。通过强化试验,迅速激发了产品的潜在故障,通过对测试结果初步分析得出了故障原因,为后续改进提供依据,提高了产品的可靠性,并且缩短了试验时间,减少了试验费用,验证了可靠性强化试验的有效性。     

着眼知识分子党员实际强化教研室党支部的组织功能

教研室是教学科研工作的末端，教研室建设的质量直接关系到院校中心工作能否圆满完成。建设一个强有力的教研室党支部是全面加强教研室建设的首要任务。当前，军队院校教研室党支部建设还存在认识不足、结构不完善、纪律意识不强、能力素质不高、力量薄弱等问题。针对新形势下院校教研室党支部建设以及知识分子党员的实际，应当从统一思想、加强理论武装、严肃政治纪律、围绕中心提高能力、依靠制度开展工作五个方面入手，进一步加强教研室党支部建设，确保院校中心任务的圆满完成。     

潜艇鱼雷攻击可攻区域

攻击水面舰艇是潜艇的主要作战任务之一.潜艇发现目标后,对目标进行可攻区域的分析判断是潜艇后续占位攻击行动的基础和前提.以潜艇鱼雷攻击为背景,通过对鱼雷有效射击区域和鱼雷攻击可攻性的分析研究,得出潜艇鱼雷攻击极限攻击角和与之相对应的可攻区域,为潜艇鱼雷攻击的占位机动和火控系统仿真建模提供了参考依据,完善了潜艇鱼雷攻击作战使用理论.     

采用3电平非均匀量化的脉冲编码策略

作为全数字发信机系统中广泛应用的一种脉冲编码技术,Delta-Sigma调制(Delta-Sigma Modulation, DSM)通过增加量化电平,能够实现调制性能的提升。但限于全数字发信机系统开关功放的具体结构,多电平DSM序列无法直接驱动后级功放电路。在传统3电平DSM基础上,通过引入面积等效原理和非均匀量化技术,提出了适用于开关功放的一种新的脉冲编码策略。理论分析和仿真结果表明,相比常规2电平DSM序列,采用该策略获得的调制脉冲序列具有更优的带内SNR和编码效率性能。     

论偷渡案件中的几个基本法律问题

随着国际形势的变化以及我国对偷渡犯罪案件打击力度的加强，此类犯罪案件的手段及表现形式也日趋复杂，而立法的滞后性又是必然特点，因此，在司法实践中对于具体犯罪的认定方面就出现了意见不一的现象，也引发了理论界的争议。为此，拟对偷渡犯罪案件中的具体犯罪认定的几个问题进行探讨，以期在交流中获得共识。     

自然排烟设计中应注意的问题

自然排烟作为一种投资低廉、技术依赖性弱的防排烟方式在工程实践中被广泛采用，但在自然排烟的设计和施工中出现了许多不能真正实现防排烟功能的问题。从自然排烟口位置的设置、开启方式及自然排烟口面积的设计三个方面对自然排烟设计工程实践中存在的问题及改进的方法进行了探索性分析，为自然排烟设计提供了依据。     

加速度计交叉耦合系数高精度标定

为了在1g重力场用转台标定惯性导航系统加速度计交叉耦合系数，提出基于正交多位置递推滤波算法标定加速度计的方案，通过建立正交多位置标定模型，抑制了转台误差对标定精度的影响，设计基于马尔科夫递推估计滤波算法，克服了一般最小二乘集中估计中多维矩阵求逆算法误差。仿真结果表明通过28位置标定，加速度计交叉耦合系数标定精度可达到10－7 g·g－2（ RMS）量级。